Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 1990 Utgivningsland okänt / Ej specificerat